DEF=imp
EXT=imp
SOURCE_EXT=json
TESTDIR=../imp-llvm
KOMPILE_BACKEND=llvm
KOMPILE_FLAGS=--outer-parsed-json
export KOMPILE_BACKEND

include ../../../include/kframework/ktest.mak

.depend:
	
